141. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
2011
142. Media theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model theory. ; Combinatorial group theory. ; Set theory. ; Modellen (theorie) ; gtt. ; Numerieke wiskunde. ; gtt. ; Systeemtheorie ; gtt. ;
143. Media theory: interdisciplinary applied mathematics
پدیدآورنده : Eppstein, David
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Model theory,، Combinatorial group theory,، Set theory,، Modellen )theorie(,، Numerieke wiskunde,، Systeemtheorie
رده :
QA
9
.
7
.
M43
2008
144. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
145. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
146. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
147. Model-Based Reasoning in Science and Technology
پدیدآورنده : \ Lorenzo Magnani, Claudia Casadio Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,شناخت (فلسفه),a04,a04,Model-based reasoning.
رده :
E-Book
,
148. Model categories
پدیدآورنده : Mark Hovey
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Model categories )Mathematics(,Homotopy theory,Complexes
رده :
QA
169
.
H68
1999
149. Model categories
پدیدآورنده : Hovey, Mark
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory,، Complexes
رده :
QA
169
.
H68
1991
150. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip S. )Philip Steven(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
151. Model categories and their localizations
پدیدآورنده : Hirschhorn, Philip Steven
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model categories )Mathematics(,، Homotopy theory
رده :
QA
169
.
H57
2003
152. Model theoretic algebra : With particular emphasis on fields, rings, modules
پدیدآورنده : Jensen, Christian Ulrik, 6391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Algebra
رده :
QA
9
.
7
.
J3
153. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ]and others[
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Model theory
154. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... )et al.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M58
1985
155. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... ]et al.[,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model theory
رده :
QA
.
M58
9
.
7
1985
156. Model-theoretic logics
پدیدآورنده : edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M58
1985
157. Model theoretic logics
پدیدآورنده : edited by J. Barwise, and S. Feferman; with cont. by J. Baldwin...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M58
1985
158. Model theory
پدیدآورنده : Chang, Chen Chung
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
C45
1977
159. Model theory
پدیدآورنده : Manzano, Maria
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M2713
160. #Model theory
پدیدآورنده : #Wilfrid Hodges
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Model theory
رده :
#
QA
،#.
H64